Trait isotope::term::Cons[][src]

pub trait Cons {
    type Consed;
    fn cons(&self, ctx: &mut impl ConsCtx + ?Sized) -> Option<Self::Consed>;
fn to_consed_ty(&self) -> Self::Consed; fn consed(&self, ctx: &mut impl ConsCtx + ?Sized) -> Self::Consed { ... } }
Expand description

Objects which can be consed in a context

Associated Types

The type this conses to

Required methods

Cons this term within a given context. Return None if already consed.

Convert this term to it’s own consed type

Provided methods

Get this term, but consed

Implementations on Foreign Types

Implementors